$\vdash$  $\forall$$T$:Type, $x$, $y$, $u$:$T$. adjacent($T$;[$u$];$x$;$y$) $\Rightarrow$ False